Henselian ring

亨泽尔环